there are coral formations